1. A Process Algebraic Approach to Software Architecture Design
پدیدآورنده : / Alessandro Aldini, Marco Bernardo, Flavio Corradini
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. A process algebraic approach to software architecture design
پدیدآورنده : Aldini, Alessandro.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Software architecture,، Software engineering,، Electronic books
رده :
QA
76
.
754
.
A43
2010
3. 26, 2010, Advanced Lectures-Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21
پدیدآورنده : / Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
4. Centric Networking-User
پدیدآورنده : / Alessandro Aldini, Alessandro Bogliolo
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
5. Computer Performance Engineering
پدیدآورنده : / Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
6. Computer performance engineering
پدیدآورنده : / Alessandro Aldini ... [et al.] (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal methods (Computer science), Congresses,Stochastic models, Congresses,Computer systems, Evaluation, Congresses
رده :
QA76
.
9
.
E94E64
2010
7. Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
پدیدآورنده : / , Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj SuriکJoancomart-Alfaro, Jordi Herrera-Joaquin Garcia
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
8. Formal Methods for Quantitative Aspects of Programming Languages
پدیدآورنده : / Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
9. Foundations of Security Analysis and Design III :
پدیدآورنده : edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Data encryption (Computer science)
10. Foundations of Security Analysis and Design VI
پدیدآورنده : / Alessandro Aldini, Roberto Gorrieri
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
11. Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
پدیدآورنده : / Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
12. Foundations of Security Analysis and Design VII
پدیدآورنده : / Alessandro Aldini, Javier Lopez, Fabio Martinelli
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
13. Foundations of security analysis and design III :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer security ; Computer networks ; Security measures ;
14. Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
پدیدآورنده : Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli )eds.(
کتابخانه: (طهران)
موضوع : ، Computer security,، Computer networks -- Security measures
رده :
QA
76
.
L28
Vol
.
3655
15. Foundations of security analysis and design IV :
پدیدآورنده : Alessandro Aldini, Roberto Gorrieri (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.
16. User- centric networking
پدیدآورنده :
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Customer services,Home computer networks,Wireless communication systems
رده :
TK5105
.
75
.
U823
2014